built-in predicate

[计] 内部谓词